Questões sobre lógica aristotélica
Silogismo é uma estrutura lógica que designa uma forma de raciocínio dedutivo, que é exemplificado no cartum.
Todos os homens são mortais.
Sócrates é homem.
Logo, Sócrates é mortal. Sobre o silogismo em geral e, sobre este em particular, é correto afirmar que:
I. é um raciocínio indutivo, pois parte de duas premissas verdadeiras e chega a uma conclusão também verdadeira.
II. o termo médio homem liga os extremos e, por isso, não pode estar presente na conclusão.
III. é um raciocínio válido, porque é constituído por proposições verdadeiras, não importando a relação de inclusão (ou de exclusão) estabelecida entre seus termos.
IV. as premissas, desde que uma delas seja universal, devem tornar necessária a conclusão.
Na lógica clássica, as proposições que compõem um raciocínio são classificadas como: (1) universais ou particulares e (2) afirmativas ou negativas.
“Todo vegetariano é magro. Alguns magros são elegantes.”
Considere verdadeira a declaração: “Nenhum dos alunos que fizeram uma determinada prova tirou mais do que 7”.